We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

The opening chapter of Genesis makes a lofty claim about the human condition: that humans are created in the image of God. But why can humans image God? This article examines four different interpretations of humans as interpretive animals. Following Martin Heidegger's account of Dasein, I argue that humans are interpretive animals, and as such, are suitable creatures to bear God's image. Humans as interpretive animals function as the image of God, not because of divine fiat; instead, humans in their (...) capacities are open to being the image. My argument is not that the image of God is identifiable as particular human features. Instead, it is the fact that humans have specific capacities that make them interpretive animals (e.g., radical openness, thrownness, malleability) and that these traits are constitutive for what it means to be human. Alongside Heidegger, I draw on the works of Charles Taylor, Claudia Welz, and Kathryn Tanner. (shrink)

This paper investigates the impact of activism on a large, powerful corporation in Tasmania. Gunns Ltd was a large woodchip processor in Tasmania that fought a long-running battle with environmental activists regarding Gunns’ logging and processing activities. The study focuses on events in 2004–2005, when Gunns applied to build a pulp mill in rural northern Tasmania and began a legal case against activists. The research question is whether there is clear statistical evidence that these events were important, as is widely (...) believed, in the ultimate failure of Gunns in, just 6 years after being the largest and one of the most financially successful Tasmanian companies. We use a mixed methods approach that combines a detailed narrative informed by theory, to examine issues of corporate social responsibility and ethical behaviour, with an econometric time series analysis of the impact of activism on the market value of Gunns. Our analysis supports the contention that the events in 2004–2005 played a significant part in the decline of the long-run market value of Gunns over the subsequent period, through to its failure in 2011. We discuss the underlying causes for Gunns’ failure in terms of agency, stakeholder, legitimacy and leadership theories. Research frequently assesses effects such as those in the Gunns’ case through solely qualitative means. This paper integrates a quantitative analysis into a detailed qualitative narrative and theoretical interpretation of events, to provide additional precision to its findings. It contributes to research in CSR and the impact of activism. (shrink)

Important features of the self-concept can be located outside of the individual and inside close or related others. The authors use this insight to reinterpret data previously said to support the empathy-altruism model of helping, which asserts that empathic concern for another results in selflessness and true altruism. That is, they argue that the conditions that lead to empathic concern also lead to a greater sense of self-other overlap, raising the possibility that helping under these conditions is not selfless but (...) is also directed toward the self. In 3 studies, the impact of empathic concern on willingness to help was eliminated when oneness--a measure of perceived self-other overlap--was considered. Path analyses revealed further that empathic concern increased helping only through its relation to perceived oneness, thereby throwing the empathy-altruism model into question. The authors suggest that empathic concern affects helping primarily as an emotional signal of oneness. (shrink)

"Since the end of the Cold War the human face of economics has gained visibility and generated new conversations among economists and other social theorists. The reductive and mechanical "economic systems" that characterized the capitalism-vs.-socialism debates of the mid-20th century have given way to pluralistic ecologies of economic provisioning in which complex agents cooperate via heterogeneous forms of production and exchange. This book examines how this pluralistic turn in economic thinking bears upon the venerable social-theoretic division of cooperative activity into (...) separate spheres of impersonal Gesellschaft and ethically thick Gemeinschaft. This book facilitates critical exchange among economists, philosophers, sociologists, anthropologists, and other social theorists by exploring the overlapping notions of cooperation, rationality, identity, reciprocity, trust, and exchange that emerge from multiple traditions of thought within and across their respective disciplines"--. (shrink)

This book has been written in the hopes of equipping teachers-in-training—that is, teacher candidates—with the skills needed for action research: a process that leads to focused, effective, and responsive strategies that help students succeed.

Human ecology - the study and practice of relationships between the natural and the social environment - has gained prominence as scholars seek more effectively to engage with pressing global concerns. In the past seventy years most human ecology has skirted the fringes of geography, sociology and biology. This volume pioneers radical new directions. In particular, it explores the power of indigenous and traditional peoples' epistemologies both to critique and to complement insights from modernity and postmodernity.

With each novel infectious disease outbreak, there is scholarly attention to healthcare providers’ obligation to assume personal risk while they care for infected patients. While most agree that healthcare providers have a duty to assume some degree of risk, the extent of this obligation remains uncertain. Furthermore, these analyses rarely examine healthcare institutions’ obligations during these outbreaks. As a result, there is little practical guidance for healthcare institutions that are forced to weigh whether or when to exclude healthcare providers from (...) providing care or allow them to opt out from providing care to protect themselves. This article uses the COVID-19 pandemic to examine the concept of risk and the professional duties of both healthcare providers and healthcare institutions, and proposes a framework that can be used to make concrete institutional policy choices. This framework should be a useful tool for any hospital, clinic, or health agency that must make these choices during the current pandemic and beyond. (shrink)

ABSTRACT:A wide range of research uses patterns of genetic variation to infer genetic similarity between individuals, typically referred to as genetic ancestry. This research includes inference of human demographic history, understanding the genetic architecture of traits, and predicting disease risk. Researchers are not just structuring an intellectual inquiry when using genetic ancestry, they are also creating analytical frameworks with broader societal ramifications. This essay presents an ethics framework in the spirit of virtue ethics for these researchers: rather than focus on (...) rule following, the framework is designed to build researchers’ capacities to react to the ethical dimensions of their work. The authors identify one overarching principle of intellectual freedom and responsibility, noting that freedom in all its guises comes with responsibility, and they identify and define four principles that collectively uphold researchers’ intellectual responsibility: truthfulness, justice and fairness, anti-racism, and public beneficence. Researchers should bring their practices into alignment with these principles, and to aid this, the authors name three common ways research practices infringe these principles, suggest a step-by-step process for aligning research choices with the principles, provide rules of thumb for achieving alignment, and give a worked case. The essay concludes by identifying support needed by researchers to act in accord with the proposed framework. (shrink)

Explores different applications of Aristotle's hypothesis on the components of form, matter and pyschological states.

At the heart of Levinas’s work is the apparently simple idea that through the encounter with another person, we are forced to give up our self-concern and take heed of the ethical relation between us. But, while simple on the surface, when one tries to characterize it in more detail, it can be hard to fit together the various ways in which Levinas talks about this relation and to identify precisely what he took its normative structure to be, as this (...) is described in a number of apparently different ways, that are not obviously compatible or equivalent, such as “command,” “call,” “summons,” “demand,” and so on. In this chapter, we intend to focus on these different characterizations and show what makes them different while also endeavoring to find a way in which Levinas’s conception may nonetheless be fitted together into a coherent account of the face-to-face encounter that is at the heart of his ethics. We will begin by considering the different normative terms used to characterize the encounter in that text and show how they are conceptually distinct from one another; we will then offer a way to read Levinas’s position to nonetheless show how these different normative relations can be fitted together into a stable position. (shrink)

We show that, in terms of both implication and consistency strength, an extendible with a larger strong cardinal is stronger than an enhanced supercompact, which is itself stronger than a hypercompact, which is itself weaker than an extendible. All of these are easily seen to be stronger than a supercompact. We also study Cn‐supercompactness.

The hypothesis that play behavior is more prevalent in larger-brained animals has recently been challenged. It may be, for example, that only certain brain structures are related to play. Here, we analyze social play behavior with regards to the cerebellum: a structure strongly implicated in motor-development, and possibly also in cognitive skills. We present an evolutionary analysis of social play and the cerebellum, using a phylogenetic comparative method. Social play frequency and relative cerebellum size are positively correlated. Hence, there appears (...) to be a link between the evolutionary elaboration of social play and the cerebellum. (shrink)

The ability of adolescents to access safe and effective new products for HIV prevention and treatment is optimised by adolescent licensure at the same time these products are approved and marketed for adults. Many adolescent product development programmes for HIV prevention or treatment products may proceed simultaneously with adult phase III development programmes. Appropriately implemented, this strategy is not expected to delay licensure as information regarding product efficacy can often be extrapolated from adults to adolescents, and pharmacokinetic properties of drugs (...) in adolescents are expected to be similar to those in adults. Finally, adolescents enrolled in therapeutic HIV prevention and treatment research can be considered adults, based on US Food and Drug Administration regulations and the appropriate application of state law. The FDA permits local jurisdictions to apply state and local HIV/sexually transmitted infection minor treatment laws so that adolescents who are HIV-positive or at risk of contracting HIV may be enrolled in therapeutic or prevention trials without obtaining parental permission. (shrink)

For the past 30 years, Paget Henry has been one of the most articulate and creative voices in Caribbean scholarship, making seminal contributions to the study of Caribbean political economy, C.L.R. James studies, critical theory, phenomenology, and Africana philosophy. This volume includes some of his most important essays from across his remarkable career, providing an introduction to a broad range of pressing contemporary themes and to the unique mind of one of the leading Caribbean intellectuals of his generation.

Few figures of the Middle Ages command the attention of so many modern disciplines as Robert Grosseteste (c. 1170-1253). Theology, Philosophy, History, and Science are all areas which his life and thought continue to have significance and to inspire re-interpretation. Accompanied by a series of original commentaries, this new edition of Grosseteste's work, with English translation, draws together the perspectives of modern scientists and medieval specialists. Volume I of a six volume series, Knowing and Speaking presents two of the earliest (...) of Grosseteste's works, the treatises On the Liberal Arts and On the Generation of Sounds. These are accompanied by a significant Middle English treatise on the Seven Liberal Arts whose anonymous fifteenth-century author translated and excerpted passages from Grosseteste's treatises in a re-imagining of their structure and function.0Each work is treated separately within the volume, which is constructed in three parts. On the Liberal Arts sets Grosseteste's thoughts on the arts subjects and emphasises moral concerns about the purpose of learning. On the Generation of Sounds builds on the theories and statements of On the Liberal Arts in connection to the production of sound, elaborating the earlier position, relating the generation of sounds to human vocal and speech production. (shrink)

The present paper analyzes the self‐generated explanations (from talk‐aloud protocols) that “Good” and “Poor” students produce while studying worked‐out examples of mechanics problems, and their subsequent reliance on examples during problem solving. We find that “Good” students learn with understanding: They generate many explanations which refine and expand the conditions for the action parts of the example solutions, and relate these actions to principles in the text. These self‐explanations are guided by accurate monitoring of their own understanding and misunderstanding. Such (...) learning results in example‐independent knowledge and in a better understanding of the principles presented in the text. “Poor” students do not generate sufficient self‐explanations, monitor their learning inaccurately, and subsequently rely heavily on examples. We then discuss the role of self‐explanations in facilitating problem solving, as well as the adequacy of current AI models of explanation‐based learning to account for these psychological findings. (shrink)

The present paper analyzes the self‐generated explanations (from talk‐aloud protocols) that “Good” and “Poor” students produce while studying worked‐out examples of mechanics problems, and their subsequent reliance on examples during problem solving. We find that “Good” students learn with understanding: They generate many explanations which refine and expand the conditions for the action parts of the example solutions, and relate these actions to principles in the text. These self‐explanations are guided by accurate monitoring of their own understanding and misunderstanding. Such (...) learning results in example‐independent knowledge and in a better understanding of the principles presented in the text. “Poor” students do not generate sufficient self‐explanations, monitor their learning inaccurately, and subsequently rely heavily on examples. We then discuss the role of self‐explanations in facilitating problem solving, as well as the adequacy of current AI models of explanation‐based learning to account for these psychological findings. (shrink)

The COVID‐19 pandemic has placed extraordinary stress on frontline healthcare providers as they encounter significant challenges and risks while caring for patients at the bedside. This study used qualitative research methods to explore nurses and respiratory therapists' experiences providing direct care to COVID‐19 patients during the first surge of the pandemic at a large academic medical center in the Northeastern United States. The purpose of this study was to explore their experiences as related to changes in staffing models and to (...) consider needs for additional support. Twenty semi‐structured interviews were conducted with sixteen nurses and four respiratory therapists via Zoom or by telephone. Interviews were transcribed verbatim, identifiers were removed, and data was coded and analyzed thematically. Five major themes characterize providers' experiences: a fear of the unknown, concerns about infection, perceived professional unpreparedness, isolation and alienation, and inescapable stress and distress. This manuscript analyzes the relationship between these themes and the concept of moral distress and finds that some, but not all, of the challenges that providers faced during this time align with previous definitions of the concept. This points to the possibility of broadening the conceptual parameters of moral distress to account for providers' experiences of treating patients with novel illnesses while encountering institutional and clinical challenges. (shrink)

The Anthropology of Sport and Human Movement represents a collection of work that reveals and explores the often times dramatic relationship of our biology and culture that is inextricably woven into a tapestry of movement patterns. It explores the underpinning of human movement, reflected in play, sport, games and human culture from an evolutionary perspective and contemporary expression of sport and human movement.